[C] 명제식에 대하여 만족성 검사

소개글

사용자가 입력한 명제식에 대한 만족성을 검사하는 것입니다.

OR : @, AND : ^, NOT : ~
명제 변수는 1문자를 사용
명제식은 사용자로부터 입력을 받음

목차

없음

본문내용

* satisfiability.h
#include <stdio.h>
#include <ctype.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>

#define MAX_STACK_SIZE 100 /* 스택의 최대 크기 */
#define MAX_LENGTH 100 /* 입력받을 문자열 배열의 최대 크기 */
#define MAX_VARIABLE_NUM 26 /* 명제 변수의 개수 */

#define SUCCESS 1
#define FAIL 0

#define CONSTANT_TRUE `T`
#define CONSTANT_FALSE `F`

/* 연산자 및 피연산자 목록 */
/* OR : @, AND : ^, NOT : ~ */
typedef enum {OPERAND, TRUE, FALSE, OR, AND, RPAREN, NOT, LPAREN, EOS} Logical;

/* 토큰 저장 구조체 */
typedef struct {
Logical token_id;
char token_value;
} Token;

/* 트리 구조체 */
typedef struct tree_node* TreePointer;
typedef struct tree_node{
TreePointer left_child;
Logical logical;
int v_val;
int value;
TreePointer right_child;
} Tree_node;

참고 자료

없음