Aşağıdaki ifadelerden hangisi çift gerektirmenin totoloji olması durumunu doğru şekilde açıklar?
A) p ve q'nun her zaman farklı değerler alması
B) p'nin q'yu, q'nun da p'yi her koşulda gerektirmesi
C) p'nin q'yu gerektirmesi ama q'nun p'yi gerektirmemesi
D) p ve q'nun her zaman yanlış olması
