Simple Propositional Logic Sentence

I have one very simple logical sentence :

(P → (Q ∨ R)) ↔ ((P ∧ (¬ Q)) → R)

The question is :

This sentence is VALID or not?

If this sentence is valid, how to proof it? And if this sentence is not valid, in what node the sentence is not valid if we proof it using Semantic Tree method?

Chapter II ~ FMOD DSP Special Effects

^{Artikel ini lanjutan dari artikel di chapter I.}

A Guide to FMOD Audio Engine

Chapter II ~ FMOD DSP Special Effects

Written by : Yofan Pratama P

Requirements : Visual Basic, FMOD Programmers API
Difficulty : ■■□□□□□□□□ Easy

Selain memainkan musik, FMOD juga mendukung berbagai efek musik atau DSP. Untuk membuat efek musik didalam FMOD, pertama dibuat variabel untuk efek musik terlebih dahulu (masih dalam Visual Basic) :

Dim system As Long
Dim suara1 As Long
Dim channel As Long
Dim dsplowpass As Long
Dim dsphighpass As Long
Dim dspecho As Long
Dim dspchorus As Long

Chapter I ~ FMOD Basic Tutorial

A Guide to FMOD Audio Engine

Chapter I ~ FMOD Basic Tutorial

Written by : Yofan Pratama P

Requirements : Visual Basic, FMOD Programmers API
Difficulty : ■□□□□□□□□□ Very easy

FMOD adalah audio engine crossplatform, dengan platform meliputi Microsoft Windows series, Microsoft Windows 64bit series (AMD64), Linux, Linux 64bit (AMD64), Macintosh OS8/9/X and OSX for x86, Sony PlayStation 2, Microsoft Xbox, Nintendo Gamecube, Sony Playstation Portable, Microsoft Xbox 360, PlayStation 3, dan Nintendo Wii.

FMOD dapat digunakan dengan bahasa pemrograman C/C++, C#, Visual Basic, Delphi dan MASM. Jika anda menggunakan salahsatu bahasa yang sudah disebutkan, dan anda ingin memakai suara didalam aplikasi anda, maka anda bisa memakai FMOD. Selain FMOD, alternatif lainnya untuk audio engine/sound lib/audio API adalah OpenAL atau DirectSound, apabila khusus memakai Windows.

UPX : EXE File Compressor

^{Artikel ini aku tulis setelah aku merevisi artikel di Wiki GDI.}

Apa itu UPX?

UPX adalah suatu software yang dapat memampatkan (kompresi) suatu executable (EXE) file agar lebih kecil. UPX merupakan freeware dan bersifat stand-alone, tidak perlu diinstal, jadi UPX hanya tinggal di copy saja untuk menggunakannya.
Didalam tutorial ini, kita akan mencoba memampatkan executable file kita menggunakan UPX.

Trik Sederhana untuk men-setting tampilan Flashdisk

Flashdisk saat ini sudah menjadi storage yang umum dikalangan orang-orang yang menggunakan komputer. Selain ukurannya lebih besar daripada disket (dari 32 MB sampe 2 GB lebih), penggunaannya pun lebih memudahkan daripada kita menggunakan CD/DVD yang harus kita burn terlebih dahulu untuk menyimpan datanya. Flashdisk pertamaku sendiri aku beli kira-kira sudah 5 tahun yang lalu (2003, plus MP3 Player), dan masih bagus sampai sekarang…

Dulu, sekitar awal tahun 2003, aku seringkali mengutak-atik setting Flashdisk ku agar kelihatan lebih bagus, seperti memberi background pada folder Flashdisk-nya, memberi icon yang keren, etc. Dan ternyata, waktu itu, banyak temenku yang nitip minta copy file buat men-setting konfigurasi tampilan Flashdisk mereka juga! Bahkan sekarang, 4 tahun dari sejak aku pertamakali men-setting tampilan Flashdiskku, sepertinya hampir semua Flashdisk yang aku temui sudah disetting tampilannya…

Aku sendiri bahkan sempet sudah lupa code buat men-setting tampilan Flashdisk-nya karena dah lama bangets dulu…

Yups, sekarang aku kasih 2 tutorial sederhana untuk men-setting tampilan Flashdisk kita :

________________________________________________________

1. Memberi tampilan background.

Untuk memberi background pada Flashdisk kita, pertama kita buat file yang bernama dekstop.ini memakai NotePad (perlu diperhatikan, type filenya adalah INI File, jadi ekstensi filenya adalah *.ini) dan taruh kedalam folder paling luar Flashdisk kita. Tulis code seperti dibawah ini didalam isi filenya :