Matemática Discreta - Aula 04

#include <stdio.h>
#include <stdbool.h>

/** 
* Verifica, de acordo com o conectivo lógico escolhido, a solução lógica entre duas proposições
* @method logicalProp();
* @param {inteiro} option = recebe o valor do menu selecionado pelo usuário.
* @param {booleano} p / q = proposições lógicas
* @return {booleano}      = Retorna o valor lógico de acordo com o conectivo escolhido. 
*/

bool logicalProp(int option, bool p, bool q)
{
 
 if(option == 1){
  //deverá retornar p E q
 } else if(option == 2){
  //deverá retornar p OU q
 } else if(option == 3){
  //deverá retornar OU p OU q
 } else if(option == 4){
  //deverá retornar p IMPLICA q
 } else if(option == 5){
  //deverá retornar p SE, E SOMENTE SE q
 } else{
  //deverá retornar "Não possuímos esta opção"
 }
}

int main(void){
 int menu;
 printf("Selecione um conectivo lógico do menu abaixo: \n");
 printf("1. E\n");
 printf("2. OU\n");
 printf("3. OU... OU...");
 printf("4. SE... ENTÃO...");
 printf("5. ... SE E SOMENTE SE ...");
 scanf("%d", &menu);

 // Chama a função com o número do menu digitado/escolhido pelo usuário, junto de duas proposições falsas por padrão. 
 logicalProp(menu, false, false);
 // as proposições podem conter quaisquer valores lógicos. Você poderia, inclusive, jogar na tela duas proposições como "A grama é vermelha" ou "A terra é marrom" e resolver o valor delas através de uma variável. 



 return 0;
}

// Copyright Gabriel Coelho Soares 2023
#include <stdio.h>
#include <stdbool.h>
bool logicalProp(int option, bool p, bool q)
{
 switch (option){
  case 1:
   return p && q; //V && F = F
   break;
  case 2:
   return p || q; //V || F = V
   break;
  case 3:
   //return !(p && q); //~F = V
   //Correção terça-feira, 16:36:42 05-09-2023
   return (!((!p || q)&&(!q || p))); //Verificar anotações da Aula 4
   break;
  case 4:
   return !p || q; //~V || F = F
   break;
  case 5:
   //return !(!(p && q)); //~(~(V)) = V
   //Correção terça-feira, 16:37:43 05-09-2023
   return ((!p || q)&&(!q || p)); //Verificar anotações da Aula 4
   break;
 default: 
   return "Não possuímos esta opção";
   break;
 }
}
int main(void){
 //declaração de variáveis
 int menu = 0;
 bool prop = true, repeat = true;
 printf("|************************|\n|*********MMD001*********|\n|************************|\n|**LÓGICA PROPOSICIONAL**|\n\n");
 while(repeat){
  //P = VERDADEIRO; Q = FALSO
  printf("Analise as seguintes proposições:\n\nP = \"Todo número inteiro MULTIPLICADO por dois(2) resultará num número PAR\"\nQ = \"Todo número inteiro DIVIDIDO por dois(2) resultará num número PAR\"\n\n");
  printf("Selecione um conectivo lógico do menu abaixo para verificar as proposições acima: \n1. E\n2. OU\n3. OU... OU...\n4. SE... ENTÃO...\n5. ... SE E SOMENTE SE ...\n\nDigite a opção desejada: ");
  scanf("%d", &menu);
  if(menu != 1 && menu != 2 && menu != 3 && menu != 4 && menu != 5){
   printf("O Menu não possui esta opção!\nPor favor, escolha novamente.");
  }else{
   printf("O Resultado do conectivo selecionado foi: %s", logicalProp(menu, prop, (!prop)) ? "VERDADEIRO" : "FALSO");
   printf("\n\nDeseja fazer novamente?\n1. Sim\n0. Não, encerrar\n\nDigite o que deseja: ");
   scanf("%d", &menu);
   if(menu == 0){repeat = false;}
  }
 }
}